Search Results
"Language-Integrated Verification" by Dr. Ranjit Jhala
Ranjit Jhala - Language-Integrated Verification
How to Design Talks - Ranjit Jhala at PLMW@PLDI
(An Opinionated Talk) On Preparing Good Talks
Engineering a Scalable, Rigorous and Equitable K-12 CS Curriculum
James Landay: The Making of DUB - Building On Body Interfaces
Turing Awardee Judea Pearl - COQ 301 Seminar, IIT Delhi
